Agda Implementors Meeting (NII Shonan Meeting 2011-2)
نویسندگان
چکیده
منابع مشابه
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- NII Shonan Meet. Rep.
دوره 2011 شماره
صفحات -
تاریخ انتشار 2011